四象限探测器用于激光跟踪仪目标脱靶量测量

介绍了基于四象限探测器的激光跟踪仪目标脱靶量测量系统。根据四象限探测器的工作原理和跟踪激光的光斑特性,分析得出目标脱靶量与四象限探测器输出电流信号的关系为非线性。针对非线性关系不易快速解算的难题,文中采用了分段线性插值算法。使用高精度位移平台对测量系统进行标定并开展了测量实验。结果表明,该系统测量速度快,每秒测量次数可达600次以上;测量精度高,在±500μm量程范围内测量精度可达5μm。该系统可以广泛应用于需要微小位移测量的相关领域。     

基于加窗插值FFT的电网谐波检测系统的研究

随着科学技术和国民经济的快速发展,电能的需求量也极大增长,同时电能质量越来越显示其重要性,电力部门和用户对电能质量的关注也日益增加。大量电力电子装置的迅速普及使得电网的谐波污染日益严重,谐波影响电力设备的安全使用,也对周围的通信系统和电网以外的设备带来危害。基于保护电力设备及合理利用电力资源的目的,采用DSP和单片机双CPU的结构,进行FFT变换、加窗插值等数字信号处理的方法,对电力参数进行准确、实时地检测。通过实验,得到了谐波次数及与之对应的有效值、谐波幅值及畸变率。     

一种基于OpenGL的飞机部件定位系统仿真

针对一种由并联机构Tripod构成的用于飞机部件装配的定位系统,首先在Qt环境下结合OpenGL通过导入模型数据以及各部件之间的几何关系建立其仿真模型.然后利用运动学逆解以及四元数球面线性插补算法,对飞机部件的位姿调整进行分析研究,并进行验证.得到飞机部件位姿调整的动态过程和预期仿真结果.     

一种多方可认证密钥协商方案的分析与改进

在无证书公钥密码体制下对一种多方可认证密钥协商方案进行了分析,指出该方案无法抵抗合法用户的扮演攻击和口令偶尔泄露导致的危机。分析了该方案存在漏洞的原因,并在此基础上给出一个改进的密钥协商方案。新方案引入密钥种子和口令进化机制解决了上述问题,同时消除了冗余消息,降低了用户占用的带宽。分析表明新方案的安全性更强。     

低指纹密度下分段式高精确度室内定位方法

针对室内环境中传统定位方法在大定位区域、低指纹密度下定位精确度低、计算复杂度高的问题,提出了一种基于线性插值法和分布重叠的分段式定位方法。该方法采用传统的最近邻法进行粗定位,得到可信区域;利用线性插值法更新可信区域内指纹数据库,增加指纹密度;在可信区域内,采用基于分布重叠的指纹相似度匹配法实现精定位。实验结果表明,在低指纹密度下,该定位方法定位精确度较高,算法复杂度适中,具有一定的适用性。     

An improved t‐out‐of‐n e‐lottery protocol

In 2009, Lee and Chang proposed an electronic t‐out‐of‐n lottery protocol over the Internet based on the Chinese remainder theorem and blind signature. However, a security flaw exists in Lee–Chang's protocol that the lottery agent and the malicious purchaser can collude to control the winning result, which is unfair for the honest participants. On the basis of a verifiable random number generated by using the Lagrange interpolation formula over a finite field, an improved t‐out‐of‐n e‐lottery protocol is proposed, which guarantees that each participant can generate the winning result equally. The improved protocol achieves public verifiability and fairness without a trusted third party and a delaying function, which makes it more robust and more efficient. Copyright © 2013 John Wiley & Sons, Ltd.     

提高弹载雷达测速精度的方法研究

基于弹载雷达系统高精度目标信息测量的性能需求,本文提出对FFT频谱数据检测结果采用扩展比值插值算法进行处理,以减少目标速度信息测量误差。仿真试验验证了该方法对提高测量精度的有效性,该方法在实际应用中实现了高精度目标信息测量,从而为提高弹载雷达系统性能、实现对目标的精确跟踪提供有力技术基础。     

Matlab仿真中变步长数据的FFT频谱分析

Matlab仿真输出的结果在很多情况下是变步长的时域信号,这时如果直接调用FFT函数对仿真结果进行频谱分析,结果往往是不准确的。本文针对这一情况,提出一种简单实用的方法:首先对变步长数据进行插值重构,变为等步长采样数据,再调用FFT进行频谱分析,则可以得到正确的结果。文中通过仿真实例验证了该方法的准确性。     

电火花线切割NC代码编译与运动轨迹仿真研究

针对目前电火花线切割数控系统NC代码编译复杂并且几乎不具备扩展性和通用性的问题,提出一种简单、清晰的线切割NC代码编译方案。基于.NET开发平台,采用C#开发语言,通过正则表达式进行词法分析,使用自定义函数进行语法分析。采用该方案能对简单平面图形、锥度切割和上下异形切割进行编译。通过.NET绘图功能显示图形,利用逐点比较插补法,对直线和圆弧进行插补,实现运动轨迹仿真。     

基于Craig插值的线性混成系统符号化模型检测

最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一阶逻辑公式不可满足情况下的插值存在性定理,对线性混成自动机的有界模型检测公式进行指定的划分,使用支持线性算术插值计算的可满足性模理论后端证明引擎的线性时间复杂度的消解反证技术获得这两部分公式间的插值公式,按一阶逻辑Craig插值的性质,所得到的插值公式就是模型检测过程中最强后件公式的上近似表示.有效地避免了使用逻辑编码方案实现线性混成自动机模型检测过程中需要双指数时间复杂度的量词消去操作求取最强后件公式,也不需像有界模型检测按步长展开变迁公式进行可满足性判定.最后本文在此最强后件计算的基础上,以有界模型检测技术作为反例确认方法,实现了一种无假反例的混成系统近似可达集计算算法.实验证明该算法与目前已经得到广泛工业应用的有界模型检测算法相比具有更优的性能.